大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Claude Merton 的图书(共232本)

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithmic Foundations of Robotics IX [electronic resource] : Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics

0
索取号：
作者：Hsu、 David.、Isler、 Volkan.、Latombe、 Jean-Claude.、Lin、 Ming C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Sequences and Their Applications-SETA 2010 [electronic resource] : 6th International Conference, Paris, France, September 13-17, 2010. Proceedings

0
索取号：
作者：Carlet、 Claude.、Pott、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Theoretical Aspects of Computing-ICTAC 2010 [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

0
索取号：
作者：Cavalcanti、 Ana.、Deharbe、 David.、Gaudel、 Marie-Claude.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Qu茅bec City, Canada, June 21-23, 2010. Proceedings

0
索取号：
作者：Bolduc、 Claude.、Desharnais、 Jules.、Ktari、 B茅chir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Multimodal Corpora [electronic resource] : From Models of Natural Interaction to Systems and Applications

0
索取号：
作者：Kipp、 Michael.、Martin、 Jean-Claude.、Paggio、 Patrizia.、Heylen、 Dirk.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Services for e-Business and e-Society [electronic resource] : 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings

0
索取号：
作者：Godart、 Claude.、Gronau、 Norbert.、Sharma、 Sushil.、Canals、 G茅r么me.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal to Practical Security [electronic resource] : Papers Issued from the 2005-2008 French-Japanese Collaboration

0
索取号：
作者：Cortier、 V茅ronique.、Kirchner、 Claude.、Okada、 Mitsuhiro.、Sakurada、 Hideki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Learning Spaces [electronic resource] : Interdisciplinary Applied Mathematics

0
索取号：
作者：Falmagne、 Jean-Claude.、Doignon、 Jean-Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

0
索取号：
作者：Cassez、 Franck.、Jard、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Life-Threatening Dermatoses and Emergencies in Dermatology [electronic resource]

0
索取号：
作者：Revuz、 Jean.、Roujeau、 Jean-Claude.、Kerdel、 Francisco A.、Valeyrie-Allanore、 Laurence.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Hormones and Social Behaviour [electronic resource]

0
索取号：
作者：Pfaff、 Donald W.、Kordon、 Claude.、Chanson、 Philippe.、Christen、 Yves.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

On Kolm's Theory of Macrojustice [electronic resource] : A Pluridisciplinary Forum of Exchange

0
索取号：
作者：Gamel、 Claude.、Lubrano、 Michel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Web Information Systems Engineering-WISE 2007 Workshops [electronic resource] : WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings

0
索取号：
作者：Weske、 Mathias.、Hacid、 Mohand-Sa茂d.、Godart、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.